Choice principles in local mantles

نویسندگان

چکیده

Assume ZFC $\mathsf {ZFC}$ . Let κ be a cardinal. A < ${\mathord {<}\hspace{1.111pt}\kappa }$ -ground is transitive proper class W modelling such that V generic extension of via forcing P ∈ $\mathbb {P}\in W$ cardinality The κ-mantle M $\mathcal {M}_\kappa$ the intersection all -grounds. We prove certain partial choice principles in are consequence being inaccessible/weakly compact, and some other related facts.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

choice principles and lift lemmas

we show that in {bf zf} set theory without choice, the ultrafilter mbox{principle} ({bf up}) is equivalent to several compactness theorems for alexandroff discrete spaces and to rudin&apos;s lemma, a basic tool in topology and the theory of quasi-continuous domains. important consequences of rudin&apos;s lemma are various lift lemmas, saying that certain properties of posets are inherited by th...

متن کامل

Public Choice Principles of Redistricting

This paper uses fundamental principles of public choice, mainly the median voter theorem, to develop a simple theory of redistricting. The focus is on how closely policy outcomes correspond to majority rule. The main results are: (1) Potential policy bias in favor of nonmajority groups is structurally linked to the number of legislative seats and the population, and the structure of most states...

متن کامل

Kinna-wagner Selection Principles, Axioms of Choice and Multiple Choice

We study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). Introduction. In this paper we study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). The forms of these statements that we shall use...

متن کامل

Interactive local bandwidth choice

A tool for user choice of the local bandwidth function for a kernel density estimate is developed using KDE, a graphical object-oriented package for interactive kernel density estimation written in LISP-STAT. The bandwidth function is a cubic spline, whose knots are manipulated by the user in one window, while the resulting estimate appears in another window. A real data illustration of this me...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mathematical Logic Quarterly

سال: 2022

ISSN: ['0942-5616', '1521-3870']

DOI: https://doi.org/10.1002/malq.202000089